Dynamically diagnosing type errors in unsafe code

Diagnosing Meaning Errors in ICALL

Errors in quantum tomography: diagnosing systematic versus statistical errors

A prime goal of quantum tomography is to provide quantitatively rigorous characterization of quantum systems, be they states, processes or measurements, particularly for the purposes of trouble-shooting and benchmarking experiments in quantum information science. A range of techniques exist to enable the calculation of errors, such as Monte-Carlo simulations, but their quantitative value is arg...

Analyzing Unsafe and Malicious Dynamic Code Loading in Android Applications

The design of the Android system allows applications to load additional code from external sources at runtime. On the one hand, malware can use this capability to add malicious functionality after it has been inspected by an application store or anti-virus engine at installation time. On the other hand, developers of benign applications can inadvertently introduce vulnerabilities. In this paper...

Diagnosing evolution in test-infected code

In this study we trace the effects of applying the techniques of refactoring and aggressive unit testing in source code based on historical information. We show how their impact on the evolution of the architecture can be testified. The study comprises the analysis of a large number of individual integration versions of a large framework. The method described here can help development teams fin...

Diagnosing Student's Algebra Errors on the Web

Electronic Homework was an intelligent tutoring system that runs on stand-alone computers [1] initially and is now migrated to the Web to provide on-line homework tutorial. The system contains a database of different sets of algebra problems from which learners can choose what sort of problems to practice. When a learner is solving a problem, the system diagnoses concurrently every step he/she ...